// Copyright 2015, VIXL authors
// All rights reserved.
//
// Redistribution and use in source and binary forms, with or without
// modification, are permitted provided that the following conditions are met:
//
//   * Redistributions of source code must retain the above copyright notice,
//     this list of conditions and the following disclaimer.
//   * Redistributions in binary form must reproduce the above copyright notice,
//     this list of conditions and the following disclaimer in the documentation
//     and/or other materials provided with the distribution.
//   * Neither the name of ARM Limited nor the names of its contributors may be
//     used to endorse or promote products derived from this software without
//     specific prior written permission.
//
// THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS CONTRIBUTORS "AS IS" AND
// ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED
// WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE
// DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT OWNER OR CONTRIBUTORS BE LIABLE
// FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
// DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR
// SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER
// CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY,
// OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
// OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.


// ---------------------------------------------------------------------
// This file is auto generated using tools/generate_simulator_traces.py.
//
// PLEASE DO NOT EDIT.
// ---------------------------------------------------------------------

#ifndef VIXL_SIM_SQDMLSL2_4S_TRACE_AARCH64_H_
#define VIXL_SIM_SQDMLSL2_4S_TRACE_AARCH64_H_

const uint32_t kExpected_NEON_sqdmlsl2_4S[] = {
  0x8005ffee, 0x8003fff9, 0x80020000, 0x00000020,
  0x8004fff4, 0x8002fffd, 0x00000002, 0x00000020,
  0x8003fffa, 0x00000001, 0xffff0004, 0x00000020,
  0x00000000, 0xffff0005, 0xfffe0006, 0x00000020,
  0xffff0006, 0xfffe0009, 0xfff00022, 0x00000020,
  0xfffe000c, 0xfff00041, 0xff8300fc, 0x00000020,
  0xfff00060, 0xff8301f5, 0xff8200fe, 0x00000020,
  0xff8302ee, 0xff8201f9, 0xff810100, 0x00000020,
  0xff8202f4, 0xff8101fd, 0xcccd6668, 0x00000020,
  0xff8102fa, 0xcccdcccd, 0xaaabaaac, 0x00000020,
  0xccce3332, 0xaaac5555, 0x8003fffc, 0x00000020,
  0xaaacfffe, 0x8004fff5, 0x8002fffe, 0x00000020,
  0x8005ffee, 0x8003fff9, 0x80020000, 0x00000020,
  0x8004fff4, 0x8002fffd, 0x7fff0002, 0x00000020,
  0x8003fffa, 0x7ffe0001, 0x7ffe0004, 0x00000020,
  0x7ffd0000, 0x7ffd0005, 0x55555556, 0x00000020,
  0x7ffc0006, 0x5554aaa9, 0x3333999a, 0x00000020,
  0x5553fffc, 0x33333331, 0x007fff02, 0x00000020,
  0x3332ccc8, 0x007ffe01, 0x007eff04, 0x00000020,
  0x007ffd00, 0x007efe05, 0x007dff06, 0x00000020,
  0x007efd06, 0x007dfe09, 0x007cff08, 0x00000020,
  0x007dfd0c, 0x007cfe0d, 0x000fffe2, 0x00000020,
  0x007cfd12, 0x000fffc1, 0x0002fffc, 0x00000020,
  0x000fffa0, 0x0002fff5, 0x0001fffe, 0x00000020,
  0x0002fff4, 0x0001fffd, 0x00000002, 0x00000020,
  0x0001fff8, 0x0000ffff, 0x00000002, 0x0000001e,
  0x0000fffc, 0x00000001, 0x00000002, 0x0000001c,
  0x00000000, 0xffff0003, 0x00000002, 0x00000000,
  0xffff0004, 0xfffe0005, 0x00000002, 0xffffff26,
  0xfffe0008, 0xfff00021, 0x00000002, 0xffffff24,
  0xfff00040, 0xff8300fb, 0x00000002, 0xffffff22,
  0xff8301f4, 0xff8200fd, 0x00000002, 0xffff99ba,
  0xff8201f8, 0xff8100ff, 0x00000002, 0xffff5576,
  0xff8101fc, 0xcccd6667, 0x00000002, 0xffff0026,
  0xcccdcccc, 0xaaabaaab, 0x00000002, 0xffff0024,
  0xaaac5554, 0x8003fffb, 0x00000002, 0xffff0022,
  0x8004fff4, 0x8002fffd, 0x00000002, 0x00010020,
  0x8003fff8, 0x8001ffff, 0x00000002, 0x0001001e,
  0x8002fffc, 0x7fff0001, 0x00000002, 0x0000aacc,
  0x7ffe0000, 0x7ffe0003, 0x00000002, 0x00006688,
  0x7ffd0004, 0x55555555, 0x00000002, 0x00000120,
  0x5554aaa8, 0x33339999, 0x00000002, 0x0000011e,
  0x33333330, 0x007fff01, 0x00000002, 0x0000011c,
  0x007ffe00, 0x007eff03, 0x00000002, 0x0000011a,
  0x007efe04, 0x007dff05, 0x00000002, 0x00000040,
  0x007dfe08, 0x007cff07, 0x00000002, 0x00000026,
  0x007cfe0c, 0x000fffe1, 0x00000002, 0x00000024,
  0x000fffc0, 0x0002fffb, 0x00000002, 0x00000022,
  0x0002fffa, 0x00000001, 0x00000004, 0x00000020,
  0x0001fffc, 0x00000001, 0x00000002, 0x0000001c,
  0x0000fffe, 0x00000001, 0x00000000, 0x00000018,
  0x00000000, 0x00000001, 0xfffffffe, 0xffffffe0,
  0xffff0002, 0x00000001, 0xffffffe2, 0xfffffe2c,
  0xfffe0004, 0x00000001, 0xffffff08, 0xfffffe28,
  0xfff00020, 0x00000001, 0xffffff06, 0xfffffe24,
  0xff8300fa, 0x00000001, 0xffffff04, 0xffff3354,
  0xff8200fc, 0x00000001, 0xffff999c, 0xfffeaacc,
  0xff8100fe, 0x00000001, 0xffff5558, 0xfffe002c,
  0xcccd6666, 0x00000001, 0xffff0008, 0xfffe0028,
  0xaaabaaaa, 0x00000001, 0xffff0006, 0xfffe0024,
  0x8003fffa, 0x00000001, 0xffff0004, 0x00020020,
  0x8002fffc, 0x00000001, 0x00010002, 0x0002001c,
  0x8001fffe, 0x00000001, 0x00010000, 0x00015578,
  0x7fff0000, 0x00000001, 0x0000aaae, 0x0000ccf0,
  0x7ffe0002, 0x00000001, 0x0000666a, 0x00000220,
  0x55555554, 0x00000001, 0x00000102, 0x0000021c,
  0x33339998, 0x00000001, 0x00000100, 0x00000218,
  0x007fff00, 0x00000001, 0x000000fe, 0x00000214,
  0x007eff02, 0x00000001, 0x000000fc, 0x00000060,
  0x007dff04, 0x00000001, 0x00000022, 0x0000002c,
  0x007cff06, 0x00000001, 0x00000008, 0x00000028,
  0x000fffe0, 0x00000001, 0x00000006, 0x00000024,
  0x00000000, 0x00000005, 0x00000006, 0x00000020,
  0x00000000, 0x00000003, 0x00000002, 0x00000000,
  0x00000000, 0x00000001, 0xfffffffe, 0xffffffe0,
  0x00000000, 0xffffffff, 0xfffffffa, 0xfffffe20,
  0x00000000, 0xfffffffd, 0xffffffc2, 0xfffff080,
  0x00000000, 0xffffffe1, 0xfffffe0e, 0xfffff060,
  0x00000000, 0xffffff07, 0xfffffe0a, 0xfffff040,
  0x00000000, 0xffffff05, 0xfffffe06, 0xfff999c0,
  0x00000000, 0xffffff03, 0xffff3336, 0xfff55580,
  0x00000000, 0xffff999b, 0xfffeaaae, 0xfff00080,
  0x00000000, 0xffff5557, 0xfffe000e, 0xfff00060,
  0x00000000, 0xffff0007, 0xfffe000a, 0xfff00040,
  0x00000000, 0xffff0005, 0xfffe0006, 0x00100020,
  0x00000000, 0xffff0003, 0x00020002, 0x00100000,
  0x00000000, 0x00010001, 0x0001fffe, 0x000aaae0,
  0x00000000, 0x0000ffff, 0x0001555a, 0x000666a0,
  0x00000000, 0x0000aaad, 0x0000ccd2, 0x00001020,
  0x00000000, 0x00006669, 0x00000202, 0x00001000,
  0x00000000, 0x00000101, 0x000001fe, 0x00000fe0,
  0x00000000, 0x000000ff, 0x000001fa, 0x00000fc0,
  0x00000000, 0x000000fd, 0x000001f6, 0x00000220,
  0x00000000, 0x000000fb, 0x00000042, 0x00000080,
  0x00000000, 0x00000021, 0x0000000e, 0x00000060,
  0x00000000, 0x00000007, 0x0000000a, 0x00000040,
  0x00000006, 0x00000009, 0x00000022, 0x00000020,
  0x00000004, 0x00000005, 0x00000002, 0xffffff26,
  0x00000002, 0x00000001, 0xffffffe2, 0xfffffe2c,
  0x00000000, 0xfffffffd, 0xffffffc2, 0xfffff080,
  0xfffffffe, 0xfffffff9, 0xfffffe02, 0xffff860e,
  0xfffffffc, 0xffffffc1, 0xfffff062, 0xffff8514,
  0xffffffe0, 0xfffffe0d, 0xfffff042, 0xffff841a,
  0xffffff06, 0xfffffe09, 0xfffff022, 0xffce0052,
  0xffffff04, 0xfffffe05, 0xfff999a2, 0xffacab1e,
  0xffffff02, 0xffff3335, 0xfff55562, 0xff83030e,
  0xffff999a, 0xfffeaaad, 0xfff00062, 0xff830214,
  0xffff5556, 0xfffe000d, 0xfff00042, 0xff83011a,
  0xffff0006, 0xfffe0009, 0xfff00022, 0x007d0020,
  0xffff0004, 0xfffe0005, 0x00100002, 0x007cff26,
  0xffff0002, 0x00020001, 0x000fffe2, 0x0053561c,
  0x00010000, 0x0001fffd, 0x000aaac2, 0x003200e8,
  0x0000fffe, 0x00015559, 0x00066682, 0x00007d20,
  0x0000aaac, 0x0000ccd1, 0x00001002, 0x00007c26,
  0x00006668, 0x00000201, 0x00000fe2, 0x00007b2c,
  0x00000100, 0x000001fd, 0x00000fc2, 0x00007a32,
  0x000000fe, 0x000001f9, 0x00000fa2, 0x00000fc0,
  0x000000fc, 0x000001f5, 0x00000202, 0x0000030e,
  0x000000fa, 0x00000041, 0x00000062, 0x00000214,
  0x00000020, 0x0000000d, 0x00000042, 0x0000011a,
  0x0000000c, 0x00000041, 0x000000fc, 0x00000020,
  0x00000008, 0x00000021, 0x00000002, 0xffffff24,
  0x00000004, 0x00000001, 0xffffff08, 0xfffffe28,
  0x00000000, 0xffffffe1, 0xfffffe0e, 0xfffff060,
  0xfffffffc, 0xffffffc1, 0xfffff062, 0xffff8514,
  0xfffffff8, 0xfffffe01, 0xffff85f0, 0xffff8418,
  0xffffffc0, 0xfffff061, 0xffff84f6, 0xffff831c,
  0xfffffe0c, 0xfffff041, 0xffff83fc, 0xffcd99ec,
  0xfffffe08, 0xfffff021, 0xffce0034, 0xffac0074,
  0xfffffe04, 0xfff999a1, 0xffacab00, 0xff820314,
  0xffff3334, 0xfff55561, 0xff8302f0, 0xff820218,
  0xfffeaaac, 0xfff00061, 0xff8301f6, 0xff82011c,
  0xfffe000c, 0xfff00041, 0xff8300fc, 0x007e0020,
  0xfffe0008, 0xfff00021, 0x007d0002, 0x007dff24,
  0xfffe0004, 0x00100001, 0x007cff08, 0x005400c8,
  0x00020000, 0x000fffe1, 0x005355fe, 0x00326750,
  0x0001fffc, 0x000aaac1, 0x003200ca, 0x00007e20,
  0x00015558, 0x00066681, 0x00007d02, 0x00007d24,
  0x0000ccd0, 0x00001001, 0x00007c08, 0x00007c28,
  0x00000200, 0x00000fe1, 0x00007b0e, 0x00007b2c,
  0x000001fc, 0x00000fc1, 0x00007a14, 0x00000fe0,
  0x000001f8, 0x00000fa1, 0x00000fa2, 0x00000314,
  0x000001f4, 0x00000201, 0x000002f0, 0x00000218,
  0x00000040, 0x00000061, 0x000001f6, 0x0000011c,
  0x00000060, 0x000001f5, 0x000000fe, 0x00000020,
  0x00000040, 0x000000fb, 0x00000002, 0xffffff22,
  0x00000020, 0x00000001, 0xffffff06, 0xfffffe24,
  0x00000000, 0xffffff07, 0xfffffe0a, 0xfffff040,
  0xffffffe0, 0xfffffe0d, 0xfffff042, 0xffff841a,
  0xffffffc0, 0xfffff061, 0xffff84f6, 0xffff831c,
  0xfffffe00, 0xffff85ef, 0xffff83fa, 0xffff821e,
  0xfffff060, 0xffff84f5, 0xffff82fe, 0xffcd3386,
  0xfffff040, 0xffff83fb, 0xffcd99ce, 0xffab55ca,
  0xfffff020, 0xffce0033, 0xffac0056, 0xff81031a,
  0xfff999a0, 0xffacaaff, 0xff8202f6, 0xff81021c,
  0xfff55560, 0xff8302ef, 0xff8201fa, 0xff81011e,
  0xfff00060, 0xff8301f5, 0xff8200fe, 0x007f0020,
  0xfff00040, 0xff8300fb, 0x007e0002, 0x007eff22,
  0xfff00020, 0x007d0001, 0x007dff06, 0x0054ab74,
  0x00100000, 0x007cff07, 0x005400aa, 0x0032cdb8,
  0x000fffe0, 0x005355fd, 0x00326732, 0x00007f20,
  0x000aaac0, 0x003200c9, 0x00007e02, 0x00007e22,
  0x00066680, 0x00007d01, 0x00007d06, 0x00007d24,
  0x00001000, 0x00007c07, 0x00007c0a, 0x00007c26,
  0x00000fe0, 0x00007b0d, 0x00007b0e, 0x00001000,
  0x00000fc0, 0x00007a13, 0x00000fc2, 0x0000031a,
  0x00000fa0, 0x00000fa1, 0x000002f6, 0x0000021c,
  0x00000200, 0x000002ef, 0x000001fa, 0x0000011e,
  0x000002ee, 0x000001f9, 0x00000100, 0x00000020,
  0x000001f4, 0x000000fd, 0x00000002, 0xffff99ba,
  0x000000fa, 0x00000001, 0xffffff04, 0xffff3354,
  0x00000000, 0xffffff05, 0xfffffe06, 0xfff999c0,
  0xffffff06, 0xfffffe09, 0xfffff022, 0xffce0052,
  0xfffffe0c, 0xfffff041, 0xffff83fc, 0xffcd99ec,
  0xfffff060, 0xffff84f5, 0xffff82fe, 0xffcd3386,
  0xffff85ee, 0xffff83f9, 0xffff8200, 0xeb8547ce,
  0xffff84f4, 0xffff82fd, 0xffcd3368, 0xddde2242,
  0xffff83fa, 0xffcd99cd, 0xffab55ac, 0xccce3352,
  0xffce0032, 0xffac0055, 0xff8102fc, 0xcccdccec,
  0xffacaafe, 0xff8202f5, 0xff8101fe, 0xcccd6686,
  0xff8302ee, 0xff8201f9, 0xff810100, 0x33330020,
  0xff8301f4, 0xff8200fd, 0x007f0002, 0x333299ba,
  0xff8300fa, 0x007e0001, 0x007eff04, 0x22224464,
  0x007d0000, 0x007dff05, 0x0054ab56, 0x147b1ed8,
  0x007cff06, 0x005400a9, 0x0032cd9a, 0x00333320,
  0x005355fc, 0x00326731, 0x00007f02, 0x0032ccba,
  0x003200c8, 0x00007e01, 0x00007e04, 0x00326654,
  0x00007d00, 0x00007d05, 0x00007d06, 0x0031ffee,
  0x00007c06, 0x00007c09, 0x00007c08, 0x00066680,
  0x00007b0c, 0x00007b0d, 0x00000fe2, 0x00013352,
  0x00007a12, 0x00000fc1, 0x000002fc, 0x0000ccec,
  0x00000fa0, 0x000002f5, 0x000001fe, 0x00006686,
  0x000002f4, 0x000001fd, 0x00006668, 0x00000020,
  0x000001f8, 0x000000ff, 0x00000002, 0xffff5576,
  0x000000fc, 0x00000001, 0xffff999c, 0xfffeaacc,
  0x00000000, 0xffffff03, 0xffff3336, 0xfff55580,
  0xffffff04, 0xfffffe05, 0xfff999a2, 0xffacab1e,
  0xfffffe08, 0xfffff021, 0xffce0034, 0xffac0074,
  0xfffff040, 0xffff83fb, 0xffcd99ce, 0xffab55ca,
  0xffff84f4, 0xffff82fd, 0xffcd3368, 0xddde2242,
  0xffff83f8, 0xffff81ff, 0xeb8547b0, 0xc71ce3ae,
  0xffff82fc, 0xffcd3367, 0xddde2224, 0xaaad001e,
  0xffcd99cc, 0xffab55ab, 0xccce3334, 0xaaac5574,
  0xffac0054, 0xff8102fb, 0xcccdccce, 0xaaabaaca,
  0xff8202f4, 0xff8101fd, 0xcccd6668, 0x55550020,
  0xff8201f8, 0xff8100ff, 0x33330002, 0x55545576,
  0xff8200fc, 0x007f0001, 0x3332999c, 0x38e3c73c,
  0x007e0000, 0x007eff03, 0x22224446, 0x222288a8,
  0x007dff04, 0x0054ab55, 0x147b1eba, 0x00555520,
  0x005400a8, 0x0032cd99, 0x00333302, 0x0054aa76,
  0x00326730, 0x00007f01, 0x0032cc9c, 0x0053ffcc,
  0x00007e00, 0x00007e03, 0x00326636, 0x00535522,
  0x00007d04, 0x00007d05, 0x0031ffd0, 0x000aaac0,
  0x00007c08, 0x00007c07, 0x00066662, 0x0002001e,
  0x00007b0c, 0x00000fe1, 0x00013334, 0x00015574,
  0x00000fc0, 0x000002fb, 0x0000ccce, 0x0000aaca,
  0x000002fa, 0x0000cccd, 0x0000aaac, 0x00000020,
  0x000001fc, 0x00006667, 0x00000002, 0xffff0026,
  0x000000fe, 0x00000001, 0xffff5558, 0xfffe002c,
  0x00000000, 0xffff999b, 0xfffeaaae, 0xfff00080,
  0xffffff02, 0xffff3335, 0xfff55562, 0xff83030e,
  0xfffffe04, 0xfff999a1, 0xffacab00, 0xff820314,
  0xfffff020, 0xffce0033, 0xffac0056, 0xff81031a,
  0xffff83fa, 0xffcd99cd, 0xffab55ac, 0xccce3352,
  0xffff82fc, 0xffcd3367, 0xddde2224, 0xaaad001e,
  0xffff81fe, 0xeb8547af, 0xc71ce390, 0x8006000e,
  0xffcd3366, 0xddde2223, 0xaaad0000, 0x80050014,
  0xffab55aa, 0xccce3333, 0xaaac5556, 0x8004001a,
  0xff8102fa, 0xcccdcccd, 0xaaabaaac, 0x7ffd0020,
  0xff8101fc, 0xcccd6667, 0x55550002, 0x7ffc0026,
  0xff8100fe, 0x33330001, 0x55545558, 0x5554001c,
  0x007f0000, 0x3332999b, 0x38e3c71e, 0x3332cce8,
  0x007eff02, 0x22224445, 0x2222888a, 0x007ffd20,
  0x0054ab54, 0x147b1eb9, 0x00555502, 0x007efd26,
  0x0032cd98, 0x00333301, 0x0054aa58, 0x007dfd2c,
  0x00007f00, 0x0032cc9b, 0x0053ffae, 0x007cfd32,
  0x00007e02, 0x00326635, 0x00535504, 0x000fffc0,
  0x00007d04, 0x0031ffcf, 0x000aaaa2, 0x0003000e,
  0x00007c06, 0x00066661, 0x00020000, 0x00020014,
  0x00000fe0, 0x00013333, 0x00015556, 0x0001001a,
  0x00013332, 0x00015555, 0x0000fffc, 0x00000020,
  0x0000cccc, 0x0000aaab, 0x00000002, 0xffff0024,
  0x00006666, 0x00000001, 0xffff0008, 0xfffe0028,
  0x00000000, 0xffff5557, 0xfffe000e, 0xfff00060,
  0xffff999a, 0xfffeaaad, 0xfff00062, 0xff830214,
  0xffff3334, 0xfff55561, 0xff8302f0, 0xff820218,
  0xfff999a0, 0xffacaaff, 0xff8202f6, 0xff81021c,
  0xffce0032, 0xffac0055, 0xff8102fc, 0xcccdccec,
  0xffcd99cc, 0xffab55ab, 0xccce3334, 0xaaac5574,
  0xffcd3366, 0xddde2223, 0xaaad0000, 0x80050014,
  0xeb8547ae, 0xc71ce38f, 0x8005fff0, 0x80040018,
  0xddde2222, 0xaaacffff, 0x8004fff6, 0x8003001c,
  0xccce3332, 0xaaac5555, 0x8003fffc, 0x7ffe0020,
  0xcccdcccc, 0xaaabaaab, 0x7ffd0002, 0x7ffd0024,
  0xcccd6666, 0x55550001, 0x7ffc0008, 0x5554aac8,
  0x33330000, 0x55545557, 0x5553fffe, 0x33333350,
  0x3332999a, 0x38e3c71d, 0x3332ccca, 0x007ffe20,
  0x22224444, 0x22228889, 0x007ffd02, 0x007efe24,
  0x147b1eb8, 0x00555501, 0x007efd08, 0x007dfe28,
  0x00333300, 0x0054aa57, 0x007dfd0e, 0x007cfe2c,
  0x0032cc9a, 0x0053ffad, 0x007cfd14, 0x000fffe0,
  0x00326634, 0x00535503, 0x000fffa2, 0x00030014,
  0x0031ffce, 0x000aaaa1, 0x0002fff0, 0x00020018,
  0x00066660, 0x0001ffff, 0x0001fff6, 0x0001001c,
  0x0001fffe, 0x0001fff5, 0x0000fffe, 0x00000020,
  0x00015554, 0x0000fffb, 0x00000002, 0xffff0022,
  0x0000aaaa, 0x00000001, 0xffff0006, 0xfffe0024,
  0x00000000, 0xffff0007, 0xfffe000a, 0xfff00040,
  0xffff5556, 0xfffe000d, 0xfff00042, 0xff83011a,
  0xfffeaaac, 0xfff00061, 0xff8301f6, 0xff82011c,
  0xfff55560, 0xff8302ef, 0xff8201fa, 0xff81011e,
  0xffacaafe, 0xff8202f5, 0xff8101fe, 0xcccd6686,
  0xffac0054, 0xff8102fb, 0xcccdccce, 0xaaabaaca,
  0xffab55aa, 0xccce3333, 0xaaac5556, 0x8004001a,
  0xddde2222, 0xaaacffff, 0x8004fff6, 0x8003001c,
  0xc71ce38e, 0x8005ffef, 0x8003fffa, 0x8002001e,
  0xaaacfffe, 0x8004fff5, 0x8002fffe, 0x7fff0020,
  0xaaac5554, 0x8003fffb, 0x7ffe0002, 0x7ffe0022,
  0xaaabaaaa, 0x7ffd0001, 0x7ffd0006, 0x55555574,
  0x55550000, 0x7ffc0007, 0x5554aaaa, 0x333399b8,
  0x55545556, 0x5553fffd, 0x33333332, 0x007fff20,
  0x38e3c71c, 0x3332ccc9, 0x007ffe02, 0x007eff22,
  0x22228888, 0x007ffd01, 0x007efe06, 0x007dff24,
  0x00555500, 0x007efd07, 0x007dfe0a, 0x007cff26,
  0x0054aa56, 0x007dfd0d, 0x007cfe0e, 0x00100000,
  0x0053ffac, 0x007cfd13, 0x000fffc2, 0x0003001a,
  0x00535502, 0x000fffa1, 0x0002fff6, 0x0002001c,
  0x000aaaa0, 0x0002ffef, 0x0001fffa, 0x0001001e,
  0x0002ffee, 0x0001fff9, 0x00010000, 0x00000020,
  0x0001fff4, 0x0000fffd, 0x00000002, 0x00010020,
  0x0000fffa, 0x00000001, 0xffff0004, 0x00020020,
  0x00000000, 0xffff0005, 0xfffe0006, 0x00100020,
  0xffff0006, 0xfffe0009, 0xfff00022, 0x007d0020,
  0xfffe000c, 0xfff00041, 0xff8300fc, 0x007e0020,
  0xfff00060, 0xff8301f5, 0xff8200fe, 0x007f0020,
  0xff8302ee, 0xff8201f9, 0xff810100, 0x33330020,
  0xff8202f4, 0xff8101fd, 0xcccd6668, 0x55550020,
  0xff8102fa, 0xcccdcccd, 0xaaabaaac, 0x7ffd0020,
  0xccce3332, 0xaaac5555, 0x8003fffc, 0x7ffe0020,
  0xaaacfffe, 0x8004fff5, 0x8002fffe, 0x7fff0020,
  0x8005ffee, 0x8003fff9, 0x80020000, 0x80000021,
  0x8004fff4, 0x8002fffd, 0x7fff0002, 0x80010020,
  0x8003fffa, 0x7ffe0001, 0x7ffe0004, 0xaaaa0020,
  0x7ffd0000, 0x7ffd0005, 0x55555556, 0xcccc0020,
  0x7ffc0006, 0x5554aaa9, 0x3333999a, 0xff800020,
  0x5553fffc, 0x33333331, 0x007fff02, 0xff810020,
  0x3332ccc8, 0x007ffe01, 0x007eff04, 0xff820020,
  0x007ffd00, 0x007efe05, 0x007dff06, 0xff830020,
  0x007efd06, 0x007dfe09, 0x007cff08, 0xfff00020,
  0x007dfd0c, 0x007cfe0d, 0x000fffe2, 0xfffd0020,
  0x007cfd12, 0x000fffc1, 0x0002fffc, 0xfffe0020,
  0x000fffa0, 0x0002fff5, 0x0001fffe, 0xffff0020,
  0x0002fff4, 0x0001fffd, 0xffff0002, 0x00000020,
  0x0001fff8, 0x0000ffff, 0x00000002, 0x0001001e,
  0x0000fffc, 0x00000001, 0x00010002, 0x0002001c,
  0x00000000, 0xffff0003, 0x00020002, 0x00100000,
  0xffff0004, 0xfffe0005, 0x00100002, 0x007cff26,
  0xfffe0008, 0xfff00021, 0x007d0002, 0x007dff24,
  0xfff00040, 0xff8300fb, 0x007e0002, 0x007eff22,
  0xff8301f4, 0xff8200fd, 0x007f0002, 0x333299ba,
  0xff8201f8, 0xff8100ff, 0x33330002, 0x55545576,
  0xff8101fc, 0xcccd6667, 0x55550002, 0x7ffc0026,
  0xcccdcccc, 0xaaabaaab, 0x7ffd0002, 0x7ffd0024,
  0xaaac5554, 0x8003fffb, 0x7ffe0002, 0x7ffe0022,
  0x8004fff4, 0x8002fffd, 0x7fff0002, 0x80010020,
  0x8003fff8, 0x8001ffff, 0x80000003, 0x8002001e,
  0x8002fffc, 0x7fff0001, 0x80010002, 0xaaaaaacc,
  0x7ffe0000, 0x7ffe0003, 0xaaaa0002, 0xcccc6688,
  0x7ffd0004, 0x55555555, 0xcccc0002, 0xff800120,
  0x5554aaa8, 0x33339999, 0xff800002, 0xff81011e,
  0x33333330, 0x007fff01, 0xff810002, 0xff82011c,
  0x007ffe00, 0x007eff03, 0xff820002, 0xff83011a,
  0x007efe04, 0x007dff05, 0xff830002, 0xfff00040,
  0x007dfe08, 0x007cff07, 0xfff00002, 0xfffd0026,
  0x007cfe0c, 0x000fffe1, 0xfffd0002, 0xfffe0024,
  0x000fffc0, 0x0002fffb, 0xfffe0002, 0xffff0022,
  0x0002fffa, 0xfffe0001, 0xffff0004, 0x00000020,
  0x0001fffc, 0xffff0001, 0x00000002, 0x0000aacc,
  0x0000fffe, 0x00000001, 0x00010000, 0x00015578,
  0x00000000, 0x00010001, 0x0001fffe, 0x000aaae0,
  0xffff0002, 0x00020001, 0x000fffe2, 0x0053561c,
  0xfffe0004, 0x00100001, 0x007cff08, 0x005400c8,
  0xfff00020, 0x007d0001, 0x007dff06, 0x0054ab74,
  0xff8300fa, 0x007e0001, 0x007eff04, 0x22224464,
  0xff8200fc, 0x007f0001, 0x3332999c, 0x38e3c73c,
  0xff8100fe, 0x33330001, 0x55545558, 0x5554001c,
  0xcccd6666, 0x55550001, 0x7ffc0008, 0x5554aac8,
  0xaaabaaaa, 0x7ffd0001, 0x7ffd0006, 0x55555574,
  0x8003fffa, 0x7ffe0001, 0x7ffe0004, 0xaaaa0020,
  0x8002fffc, 0x7fff0001, 0x80010002, 0xaaaaaacc,
  0x8001fffe, 0x80000002, 0x80020000, 0xc71b8e58,
  0x7fff0000, 0x80010001, 0xaaaaaaae, 0xdddd1130,
  0x7ffe0002, 0xaaaa0001, 0xcccc666a, 0xffaaaa20,
  0x55555554, 0xcccc0001, 0xff800102, 0xffab54cc,
  0x33339998, 0xff800001, 0xff810100, 0xffabff78,
  0x007fff00, 0xff810001, 0xff8200fe, 0xffacaa24,
  0x007eff02, 0xff820001, 0xff8300fc, 0xfff55560,
  0x007dff04, 0xff830001, 0xfff00022, 0xfffe001c,
  0x007cff06, 0xfff00001, 0xfffd0008, 0xfffeaac8,
  0x000fffe0, 0xfffd0001, 0xfffe0006, 0xffff5574,
  0xfffd0000, 0xfffe0005, 0xffff5556, 0x00000020,
  0xfffe0000, 0xffff0003, 0x00000002, 0x00006688,
  0xffff0000, 0x00000001, 0x0000aaae, 0x0000ccf0,
  0x00000000, 0x0000ffff, 0x0001555a, 0x000666a0,
  0x00010000, 0x0001fffd, 0x000aaac2, 0x003200e8,
  0x00020000, 0x000fffe1, 0x005355fe, 0x00326750,
  0x00100000, 0x007cff07, 0x005400aa, 0x0032cdb8,
  0x007d0000, 0x007dff05, 0x0054ab56, 0x147b1ed8,
  0x007e0000, 0x007eff03, 0x22224446, 0x222288a8,
  0x007f0000, 0x3332999b, 0x38e3c71e, 0x3332cce8,
  0x33330000, 0x55545557, 0x5553fffe, 0x33333350,
  0x55550000, 0x7ffc0007, 0x5554aaaa, 0x333399b8,
  0x7ffd0000, 0x7ffd0005, 0x55555556, 0xcccc0020,
  0x7ffe0000, 0x7ffe0003, 0xaaaa0002, 0xcccc6688,
  0x7fff0000, 0x80010001, 0xaaaaaaae, 0xdddd1130,
  0x80000001, 0x8001ffff, 0xc71b8e3a, 0xeb847b00,
  0x80010000, 0xaaaaaaad, 0xdddd1112, 0xffcccc20,
  0xaaaa0000, 0xcccc6669, 0xffaaaa02, 0xffcd3288,
  0xcccc0000, 0xff800101, 0xffab54ae, 0xffcd98f0,
  0xff800000, 0xff8100ff, 0xffabff5a, 0xffcdff58,
  0xff810000, 0xff8200fd, 0xffacaa06, 0xfff999a0,
  0xff820000, 0xff8300fb, 0xfff55542, 0xfffecce8,
  0xff830000, 0xfff00021, 0xfffdfffe, 0xffff3350,
  0xfff00000, 0xfffd0007, 0xfffeaaaa, 0xffff99b8,
  0xfffd0006, 0xfffeaaa9, 0xffff999a, 0x00000020,
  0xfffe0004, 0xffff5555, 0x00000002, 0x00000120,
  0xffff0002, 0x00000001, 0x0000666a, 0x00000220,
  0x00000000, 0x0000aaad, 0x0000ccd2, 0x00001020,
  0x0000fffe, 0x00015559, 0x00066682, 0x00007d20,
  0x0001fffc, 0x000aaac1, 0x003200ca, 0x00007e20,
  0x000fffe0, 0x005355fd, 0x00326732, 0x00007f20,
  0x007cff06, 0x005400a9, 0x0032cd9a, 0x00333320,
  0x007dff04, 0x0054ab55, 0x147b1eba, 0x00555520,
  0x007eff02, 0x22224445, 0x2222888a, 0x007ffd20,
  0x3332999a, 0x38e3c71d, 0x3332ccca, 0x007ffe20,
  0x55545556, 0x5553fffd, 0x33333332, 0x007fff20,
  0x7ffc0006, 0x5554aaa9, 0x3333999a, 0xff800020,
  0x7ffd0004, 0x55555555, 0xcccc0002, 0xff800120,
  0x7ffe0002, 0xaaaa0001, 0xcccc666a, 0xffaaaa20,
  0x80010000, 0xaaaaaaad, 0xdddd1112, 0xffcccc20,
  0x8001fffe, 0xc71b8e39, 0xeb847ae2, 0xffff8020,
  0xaaaaaaac, 0xdddd1111, 0xffcccc02, 0xffff8120,
  0xcccc6668, 0xffaaaa01, 0xffcd326a, 0xffff8220,
  0xff800100, 0xffab54ad, 0xffcd98d2, 0xffff8320,
  0xff8100fe, 0xffabff59, 0xffcdff3a, 0xfffff020,
  0xff8200fc, 0xffacaa05, 0xfff99982, 0xfffffd20,
  0xff8300fa, 0xfff55541, 0xfffeccca, 0xfffffe20,
  0xfff00020, 0xfffdfffd, 0xffff3332, 0xffffff20,
  0xfffdfffc, 0xffff3331, 0xffffff02, 0x00000020,
  0xfffeaaa8, 0xffff9999, 0x00000002, 0x0000011e,
  0xffff5554, 0x00000001, 0x00000102, 0x0000021c,
  0x00000000, 0x00006669, 0x00000202, 0x00001000,
  0x0000aaac, 0x0000ccd1, 0x00001002, 0x00007c26,
  0x00015558, 0x00066681, 0x00007d02, 0x00007d24,
  0x000aaac0, 0x003200c9, 0x00007e02, 0x00007e22,
  0x005355fc, 0x00326731, 0x00007f02, 0x0032ccba,
  0x005400a8, 0x0032cd99, 0x00333302, 0x0054aa76,
  0x0054ab54, 0x147b1eb9, 0x00555502, 0x007efd26,
  0x22224444, 0x22228889, 0x007ffd02, 0x007efe24,
  0x38e3c71c, 0x3332ccc9, 0x007ffe02, 0x007eff22,
  0x5553fffc, 0x33333331, 0x007fff02, 0xff810020,
  0x5554aaa8, 0x33339999, 0xff800002, 0xff81011e,
  0x55555554, 0xcccc0001, 0xff800102, 0xffab54cc,
  0xaaaa0000, 0xcccc6669, 0xffaaaa02, 0xffcd3288,
  0xaaaaaaac, 0xdddd1111, 0xffcccc02, 0xffff8120,
  0xc71b8e38, 0xeb847ae1, 0xffff8002, 0xffff821e,
  0xdddd1110, 0xffcccc01, 0xffff8102, 0xffff831c,
  0xffaaaa00, 0xffcd3269, 0xffff8202, 0xffff841a,
  0xffab54ac, 0xffcd98d1, 0xffff8302, 0xfffff040,
  0xffabff58, 0xffcdff39, 0xfffff002, 0xfffffd26,
  0xffacaa04, 0xfff99981, 0xfffffd02, 0xfffffe24,
  0xfff55540, 0xfffeccc9, 0xfffffe02, 0xffffff22,
  0xfffeccc8, 0xfffffe01, 0xffffff04, 0x00000020,
  0xffff3330, 0xffffff01, 0x00000002, 0x0000011c,
  0xffff9998, 0x00000001, 0x00000100, 0x00000218,
  0x00000000, 0x00000101, 0x000001fe, 0x00000fe0,
  0x00006668, 0x00000201, 0x00000fe2, 0x00007b2c,
  0x0000ccd0, 0x00001001, 0x00007c08, 0x00007c28,
  0x00066680, 0x00007d01, 0x00007d06, 0x00007d24,
  0x003200c8, 0x00007e01, 0x00007e04, 0x00326654,
  0x00326730, 0x00007f01, 0x0032cc9c, 0x0053ffcc,
  0x0032cd98, 0x00333301, 0x0054aa58, 0x007dfd2c,
  0x147b1eb8, 0x00555501, 0x007efd08, 0x007dfe28,
  0x22228888, 0x007ffd01, 0x007efe06, 0x007dff24,
  0x3332ccc8, 0x007ffe01, 0x007eff04, 0xff820020,
  0x33333330, 0x007fff01, 0xff810002, 0xff82011c,
  0x33339998, 0xff800001, 0xff810100, 0xffabff78,
  0xcccc0000, 0xff800101, 0xffab54ae, 0xffcd98f0,
  0xcccc6668, 0xffaaaa01, 0xffcd326a, 0xffff8220,
  0xdddd1110, 0xffcccc01, 0xffff8102, 0xffff831c,
  0xeb847ae0, 0xffff8001, 0xffff8200, 0xffff8418,
  0xffcccc00, 0xffff8101, 0xffff82fe, 0xffff8514,
  0xffcd3268, 0xffff8201, 0xffff83fc, 0xfffff060,
  0xffcd98d0, 0xffff8301, 0xfffff022, 0xfffffd2c,
  0xffcdff38, 0xfffff001, 0xfffffd08, 0xfffffe28,
  0xfff99980, 0xfffffd01, 0xfffffe06, 0xffffff24,
  0xfffffd00, 0xfffffe05, 0xffffff06, 0x00000020,
  0xfffffe00, 0xffffff03, 0x00000002, 0x0000011a,
  0xffffff00, 0x00000001, 0x000000fe, 0x00000214,
  0x00000000, 0x000000ff, 0x000001fa, 0x00000fc0,
  0x00000100, 0x000001fd, 0x00000fc2, 0x00007a32,
  0x00000200, 0x00000fe1, 0x00007b0e, 0x00007b2c,
  0x00001000, 0x00007c07, 0x00007c0a, 0x00007c26,
  0x00007d00, 0x00007d05, 0x00007d06, 0x0031ffee,
  0x00007e00, 0x00007e03, 0x00326636, 0x00535522,
  0x00007f00, 0x0032cc9b, 0x0053ffae, 0x007cfd32,
  0x00333300, 0x0054aa57, 0x007dfd0e, 0x007cfe2c,
  0x00555500, 0x007efd07, 0x007dfe0a, 0x007cff26,
  0x007ffd00, 0x007efe05, 0x007dff06, 0xff830020,
  0x007ffe00, 0x007eff03, 0xff820002, 0xff83011a,
  0x007fff00, 0xff810001, 0xff8200fe, 0xffacaa24,
  0xff800000, 0xff8100ff, 0xffabff5a, 0xffcdff58,
  0xff800100, 0xffab54ad, 0xffcd98d2, 0xffff8320,
  0xffaaaa00, 0xffcd3269, 0xffff8202, 0xffff841a,
  0xffcccc00, 0xffff8101, 0xffff82fe, 0xffff8514,
  0xffff8000, 0xffff81ff, 0xffff83fa, 0xffff860e,
  0xffff8100, 0xffff82fd, 0xffff84f6, 0xfffff080,
  0xffff8200, 0xffff83fb, 0xfffff042, 0xfffffd32,
  0xffff8300, 0xfffff021, 0xfffffd0e, 0xfffffe2c,
  0xfffff000, 0xfffffd07, 0xfffffe0a, 0xffffff26,
  0xfffffd06, 0xfffffe09, 0xffffff08, 0x00000020,
  0xfffffe04, 0xffffff05, 0x00000002, 0x00000040,
  0xffffff02, 0x00000001, 0x000000fc, 0x00000060,
  0x00000000, 0x000000fd, 0x000001f6, 0x00000220,
  0x000000fe, 0x000001f9, 0x00000fa2, 0x00000fc0,
  0x000001fc, 0x00000fc1, 0x00007a14, 0x00000fe0,
  0x00000fe0, 0x00007b0d, 0x00007b0e, 0x00001000,
  0x00007c06, 0x00007c09, 0x00007c08, 0x00066680,
  0x00007d04, 0x00007d05, 0x0031ffd0, 0x000aaac0,
  0x00007e02, 0x00326635, 0x00535504, 0x000fffc0,
  0x0032cc9a, 0x0053ffad, 0x007cfd14, 0x000fffe0,
  0x0054aa56, 0x007dfd0d, 0x007cfe0e, 0x00100000,
  0x007efd06, 0x007dfe09, 0x007cff08, 0xfff00020,
  0x007efe04, 0x007dff05, 0xff830002, 0xfff00040,
  0x007eff02, 0xff820001, 0xff8300fc, 0xfff55560,
  0xff810000, 0xff8200fd, 0xffacaa06, 0xfff999a0,
  0xff8100fe, 0xffabff59, 0xffcdff3a, 0xfffff020,
  0xffab54ac, 0xffcd98d1, 0xffff8302, 0xfffff040,
  0xffcd3268, 0xffff8201, 0xffff83fc, 0xfffff060,
  0xffff8100, 0xffff82fd, 0xffff84f6, 0xfffff080,
  0xffff81fe, 0xffff83f9, 0xffff85f0, 0xfffffe20,
  0xffff82fc, 0xffff84f5, 0xfffff062, 0xffffffc0,
  0xffff83fa, 0xfffff041, 0xfffffd14, 0xffffffe0,
  0xfffff020, 0xfffffd0d, 0xfffffe0e, 0x00000000,
  0xfffffd0c, 0xfffffe0d, 0xffffffe2, 0x00000020,
  0xfffffe08, 0xffffff07, 0x00000002, 0x00000026,
  0xffffff04, 0x00000001, 0x00000022, 0x0000002c,
  0x00000000, 0x000000fb, 0x00000042, 0x00000080,
  0x000000fc, 0x000001f5, 0x00000202, 0x0000030e,
  0x000001f8, 0x00000fa1, 0x00000fa2, 0x00000314,
  0x00000fc0, 0x00007a13, 0x00000fc2, 0x0000031a,
  0x00007b0c, 0x00007b0d, 0x00000fe2, 0x00013352,
  0x00007c08, 0x00007c07, 0x00066662, 0x0002001e,
  0x00007d04, 0x0031ffcf, 0x000aaaa2, 0x0003000e,
  0x00326634, 0x00535503, 0x000fffa2, 0x00030014,
  0x0053ffac, 0x007cfd13, 0x000fffc2, 0x0003001a,
  0x007dfd0c, 0x007cfe0d, 0x000fffe2, 0xfffd0020,
  0x007dfe08, 0x007cff07, 0xfff00002, 0xfffd0026,
  0x007dff04, 0xff830001, 0xfff00022, 0xfffe001c,
  0xff820000, 0xff8300fb, 0xfff55542, 0xfffecce8,
  0xff8200fc, 0xffacaa05, 0xfff99982, 0xfffffd20,
  0xffabff58, 0xffcdff39, 0xfffff002, 0xfffffd26,
  0xffcd98d0, 0xffff8301, 0xfffff022, 0xfffffd2c,
  0xffff8200, 0xffff83fb, 0xfffff042, 0xfffffd32,
  0xffff82fc, 0xffff84f5, 0xfffff062, 0xffffffc0,
  0xffff83f8, 0xffff85ef, 0xfffffe02, 0x0000000e,
  0xffff84f4, 0xfffff061, 0xffffffa2, 0x00000014,
  0xfffff040, 0xfffffd13, 0xffffffc2, 0x0000001a,
  0xfffffd12, 0xffffffc1, 0xfffffffc, 0x00000020,
  0xfffffe0c, 0xffffffe1, 0x00000002, 0x00000024,
  0xffffff06, 0x00000001, 0x00000008, 0x00000028,
  0x00000000, 0x00000021, 0x0000000e, 0x00000060,
  0x000000fa, 0x00000041, 0x00000062, 0x00000214,
  0x000001f4, 0x00000201, 0x000002f0, 0x00000218,
  0x00000fa0, 0x00000fa1, 0x000002f6, 0x0000021c,
  0x00007a12, 0x00000fc1, 0x000002fc, 0x0000ccec,
  0x00007b0c, 0x00000fe1, 0x00013334, 0x00015574,
  0x00007c06, 0x00066661, 0x00020000, 0x00020014,
  0x0031ffce, 0x000aaaa1, 0x0002fff0, 0x00020018,
  0x00535502, 0x000fffa1, 0x0002fff6, 0x0002001c,
  0x007cfd12, 0x000fffc1, 0x0002fffc, 0xfffe0020,
  0x007cfe0c, 0x000fffe1, 0xfffd0002, 0xfffe0024,
  0x007cff06, 0xfff00001, 0xfffd0008, 0xfffeaac8,
  0xff830000, 0xfff00021, 0xfffdfffe, 0xffff3350,
  0xff8300fa, 0xfff55541, 0xfffeccca, 0xfffffe20,
  0xffacaa04, 0xfff99981, 0xfffffd02, 0xfffffe24,
  0xffcdff38, 0xfffff001, 0xfffffd08, 0xfffffe28,
  0xffff8300, 0xfffff021, 0xfffffd0e, 0xfffffe2c,
  0xffff83fa, 0xfffff041, 0xfffffd14, 0xffffffe0,
  0xffff84f4, 0xfffff061, 0xffffffa2, 0x00000014,
  0xffff85ee, 0xfffffe01, 0xfffffff0, 0x00000018,
  0xfffff060, 0xffffffa1, 0xfffffff6, 0x0000001c,
  0xffffffa0, 0xfffffff5, 0xfffffffe, 0x00000020,
  0xffffffc0, 0xfffffffb, 0x00000002, 0x00000022,
  0xffffffe0, 0x00000001, 0x00000006, 0x00000024,
  0x00000000, 0x00000007, 0x0000000a, 0x00000040,
  0x00000020, 0x0000000d, 0x00000042, 0x0000011a,
  0x00000040, 0x00000061, 0x000001f6, 0x0000011c,
  0x00000200, 0x000002ef, 0x000001fa, 0x0000011e,
  0x00000fa0, 0x000002f5, 0x000001fe, 0x00006686,
  0x00000fc0, 0x000002fb, 0x0000ccce, 0x0000aaca,
  0x00000fe0, 0x00013333, 0x00015556, 0x0001001a,
  0x00066660, 0x0001ffff, 0x0001fff6, 0x0001001c,
  0x000aaaa0, 0x0002ffef, 0x0001fffa, 0x0001001e,
  0x000fffa0, 0x0002fff5, 0x0001fffe, 0xffff0020,
  0x000fffc0, 0x0002fffb, 0xfffe0002, 0xffff0022,
  0x000fffe0, 0xfffd0001, 0xfffe0006, 0xffff5574,
  0xfff00000, 0xfffd0007, 0xfffeaaaa, 0xffff99b8,
  0xfff00020, 0xfffdfffd, 0xffff3332, 0xffffff20,
  0xfff55540, 0xfffeccc9, 0xfffffe02, 0xffffff22,
  0xfff99980, 0xfffffd01, 0xfffffe06, 0xffffff24,
  0xfffff000, 0xfffffd07, 0xfffffe0a, 0xffffff26,
  0xfffff020, 0xfffffd0d, 0xfffffe0e, 0x00000000,
  0xfffff040, 0xfffffd13, 0xffffffc2, 0x0000001a,
  0xfffff060, 0xffffffa1, 0xfffffff6, 0x0000001c,
  0xfffffe00, 0xffffffef, 0xfffffffa, 0x0000001e,
};
const unsigned kExpectedCount_NEON_sqdmlsl2_4S = 576;

#endif  // VIXL_SIM_SQDMLSL2_4S_TRACE_AARCH64_H_
